English translation for "theorem prover"

定理证明程序

Related Translations:

sonic nozzle flow prover:  声速喷嘴流量检定装置

theorems:  定理

modularity theorem:  谷山-志村定理谷山志村猜想

isomorphism theorem:  第一同构定理同构基本定理同态基本定理

wieners theorem:  维纳自相关定理

uniqueness theorem:  唯一性定理一义性定理

bound theorem:  界限定理

cauchy theorem:  柯西定理

bayess theorem:  贝叶斯定理

dirichlet theorem:  狄利克雷定理

Similar Words：

"theorem of virtual displacement" English translation, "theorem of virtual work" English translation, "theorem on addition of probabilities" English translation, "theorem on embedding" English translation, "theorem on friends and strangers" English translation, "theorem proving" English translation, "theorem proving machine" English translation, "theorem proving representation" English translation, "theorem proving technique" English translation, "theorem work-energy" English translation